Naviga IRIS

Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 144 a 150 di 150

2010-01-01 D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré

2005-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA

2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin

2020-01-01 Soccini A.M.; Cuccurullo S.A.G.; Cena F.

2012-01-01 Silvano Colombo Tosatto;Guido Boella;Leendert Torre;Serena Villata

2020-01-01 Giosa, Davide; Di Caro, Luigi

2020-01-01 Urbinati A.; Kalimeri K.; Bonanomi A.; Rosina A.; Cattuto C.; Paolotti D.

Titolo	Data di pubblicazione	Autore(i)
Verifying Business Process Compliance by Reasoning about Actions	2010	D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré
Verifying Protocol Conformance for Logic-Based Communicating Agents	2005	M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning	2017	Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin
Virtual Reality Experiential Training for Individuals with Autism: The Airport Scenario	2020	Soccini A.M.; Cuccurullo S.A.G.; Cena F.
Visualizing Normative Systems: An Abstract ApproachDeontic Logic in Computer Science	2012	Silvano Colombo Tosatto;Guido Boella;Leendert Torre;Serena Villata
What2Cite: Unveiling Topics and Citations Dependencies for Scientific Literature Exploration and Recommendation	2020	Giosa, Davide; Di Caro, Luigi
Young Adult Unemployment Through the Lens of Social Media: Italy as a Case Study	2020	Urbinati A.; Kalimeri K.; Bonanomi A.; Rosina A.; Cattuto C.; Paolotti D.

Mostrati risultati da 144 a 150 di 150